Revision: tla-tools--devo--0--patch-58
Archive: miles@gnu.org--gnu-2004
Creator: Miles Bader <miles@gnu.org>
Date: Sat May  8 09:29:25 JST 2004
Standard-date: 2004-05-08 00:29:25 GMT
Modified-files: ChangeLog tla-tools-funs.awk
New-patches: miles@gnu.org--gnu-2004/tla-tools--devo--0--patch-58
Summary: Try to avoid making pristine trees in `pristine_file' function

Before making a pristine tree, we try to use a revision-library,
including adding a new revlib entry if there's greedy revision library.
